Mathematical and Implementation Challenges Associated with Testing of the Dynamical Systems
نویسنده
چکیده
The paper presents mathematical and implementation challenges associated with testing of embedded software systems with dynamic behavior. These challenges are related to notation of tests, calculation of test coverage, implementation of a test comparator, and automatic generation of test cases. Some author’s ideas and solutions are presented with the help of abstract models that describe behavior of the software systems. The models are represented using the state space (or input/state/output) notation. An application example is given to illustrate theoretical analysis and mathematical formulation.
منابع مشابه
PROJECTED DYNAMICAL SYSTEMS AND OPTIMIZATION PROBLEMS
We establish a relationship between general constrained pseudoconvex optimization problems and globally projected dynamical systems. A corresponding novel neural network model, which is globally convergent and stable in the sense of Lyapunov, is proposed. Both theoretical and numerical approaches are considered. Numerical simulations for three constrained nonlinear optimization problems a...
متن کاملLI-YORKE CHAOTIC GENERALIZED SHIFT DYNAMICAL SYSTEMS
In this text we prove that in generalized shift dynamical system $(X^Gamma,sigma_varphi)$ for finite discrete $X$ with at least two elements, infinite countable set $Gamma$ and arbitrary map $varphi:GammatoGamma$, the following statements are equivalent: - the dynamical system $(X^Gamma,sigma_varphi)$ is Li-Yorke chaotic; - the dynamical system $(X^Gamma,sigma_varphi)$ has an scr...
متن کاملDilations for $C^ast$-dynamical systems with abelian groups on Hilbert $C^ast$-modules
In this paper we investigate the dilations of completely positive definite representations of (C^ast)-dynamical systems with abelian groups on Hilbert (C^ast)-modules. We show that if ((mathcal{A}, G,alpha)) is a (C^ast)-dynamical system with (G) an abelian group, then every completely positive definite covariant representation ((pi,varphi,E)) of ((mathcal{A}, G,alpha)) on a Hilbert ...
متن کاملImplementation and Assessment Challenges in Iranian Secondary High School EFL Program
Paradigm shift in language education has caused many countries including Iran to reshuffle their public EFL educational program. However, such a promising trend in Iran has entailed serious challenges, which necessitated this study aimed at collecting data from 70 teachers and 70 students to investigate the CLT challenges in terms of both teachers' pedagogical and assessment areas. A Partial Le...
متن کاملA new reduced mathematical model to simulate the action potential in end plate of skeletal muscle fibers
Usually mathematicians use Hodgkin-Huxley model or FitzHug-Nagumo model to simulate action potentials of skeletal muscle fibers. These models are electrically excitable, but skeletal muscle fibers are stimulated chemically. To investigate skeletal muscle fibers we use a model with six ordinary differential equations. This dynamical system is sensitive to initial value of some variables so it is...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011